Métayer, Daniel Le: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Body-worn cameras for police accountability: Opportunities and risks

Coudert, Fanny, Butin, Denis, Le Métayer, Daniel

Journal:

Computer Law & Security Review

Year:

2015

Language:

english

File:

PDF, 456 KB

english, 2015

2

Compilation of functional languages by program transformation

Fradet, Pascal, Le Métayer, Daniel

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1991

Language:

english

File:

PDF, 1.87 MB

english, 1991

3

Privacy Risk Analysis

De, Sourya Joyee, Métayer, Daniel Le

Journal:

Synthesis Lectures on Information Security Privacy and Trust

Year:

2016

Language:

english

File:

PDF, 1002 KB

english, 2016

4

The gamma model and its discipline of programming

Jean-Pierre Banâtre, Daniel Le Métayer

Journal:

Science of Computer Programming

Year:

1990

Language:

english

File:

PDF, 2.87 MB

english, 1990

5

Structured Gamma

Pascal Fradet, Daniel Le Métayer

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.76 MB

english, 1998

6

[IEEE 2013 IEEE CS Security and Privacy Workshops (SPW2013) - San Francisco, CA (2013.5.23-2013.5.24)] 2013 IEEE Security and Privacy Workshops - Log Design for Accountability

Butin, Denis, Chicote, Marcos, Le Metayer, Daniel

Year:

2013

Language:

english

File:

PDF, 375 KB

english, 2013

7

[IEEE 2011 IEEE International Symposium on Policies for Distributed Systems and Networks - POLICY - Pisa, Italy (2011.06.6-2011.06.8)] 2011 IEEE International Symposium on Policies for Distributed Systems and Networks - FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules

Thion, Romuald, Metayer, Daniel Le

Year:

2011

Language:

english

File:

PDF, 486 KB

english, 2011

8

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Shape types

Fradet, Pascal, Le Métayer, Daniel

Year:

1997

File:

PDF, 874 KB

1997

9

[IEEE 2015 IEEE/ACM 1st International Workshop on Technical and Legal Aspects of Data Privacy and Security (TELERISE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 1st International Workshop on TEchnical and LEgal aspects of data pRivacy and SEcurity - A Guide to End-to-End Privacy Accountability

Butin, Denis, Le Metayer, Daniel

Year:

2015

Language:

english

File:

PDF, 134 KB

english, 2015

10

Automated consent through privacy agents: Legal requirements and technical architecture

Daniel Le Métayer, Shara Monteleone

Journal:

Computer Law & Security Review

Year:

2009

Language:

english

File:

PDF, 233 KB

english, 2009

11

A relaxation-projection method for compressible flows. Part I: The numerical equation of state for the Euler equations

Richard Saurel, Erwin Franquet, Eric Daniel, Olivier Le Metayer

Journal:

Journal of Computational Physics

Year:

2007

Language:

english

File:

PDF, 550 KB

english, 2007

12

Refining multiset transformers

Chris Hankin, Daniel Le Métayer, David Sands

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.69 MB

english, 1998

13

Foreword

Daniel Le Métayer

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 39 KB

english, 2000

14

Lazy type inference and program analysis

Chris Hankin, Daniel Le Métayer

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 1.82 MB

english, 1995

15

Stable carbon isotopic compositions of individual aromatic hydrocarbons as source and age indicators in oils from western Australian basins

Ercin Maslen, Kliti Grice, Pierre. Le Métayer, Daniel Dawson, Dianne Edwards

Journal:

Organic Geochemistry

Year:

2011

Language:

english

File:

PDF, 1.07 MB

english, 2011

16

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Designing Log Architectures for Legal Evidence

Le Metayer, Daniel, Mazza, Eduardo, Potet, Marie-Laure

Year:

2010

Language:

english

File:

PDF, 359 KB

english, 2010

17

[ACM Press the third ACM conference - San Antonio, Texas, USA (2013.02.18-2013.02.20)] Proceedings of the third ACM conference on Data and application security and privacy - CODASPY '13 - Privacy by design

Le Métayer, Daniel

Year:

2013

Language:

english

File:

PDF, 562 KB

english, 2013

18

Liability issues in software engineering

Le Métayer, Daniel, Maarek, Manuel, Mazza, Eduardo, Potet, Marie-Laure, Frénot, Stéphane, Tong, Valérie Viet Triem, Craipeau, Nicolas, Hardouin, Ronan

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 204 KB

english, 2011

19

Programming by multiset transformation

Banâtre, Jean-Pierre, Le Métayer, Daniel

Journal:

Communications of the ACM

Year:

1993

Language:

english

File:

PDF, 11.26 MB

english, 1993

20

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Deriving algorithms from type inference systems

Hankin, Chris, Le Métayer, Daniel

Year:

1994

Language:

english

File:

PDF, 967 KB

english, 1994

21

Software architecture styles as graph grammars

Le Métayer, Daniel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 864 KB

english, 1996

22

Consistency checking for multiple view software architectures

Fradet, Pascal, Le Métayer, Daniel, Périn, Michaël

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 1.30 MB

english, 1999

23

Structural operational semantics as a basis for static program analysis

Le Métayer, Daniel, Schmidt, David

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 159 KB

english, 1996

24

[ACM Press the 4th ACM SIGSOFT symposium - San Francisco, California, United States (1996.10.16-1996.10.18)] Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 - Software architecture styles as graph grammars

Le Métayer, Daniel

Year:

1996

Language:

english

File:

PDF, 864 KB

english, 1996

25

ACE: an automatic complexity evaluator

Le Métayer, Daniel

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1988

Language:

english

File:

PDF, 1.21 MB

english, 1988

26

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Proving properties of programs defined over recursive data structures

Le Métayer, Daniel

Year:

1995

Language:

english

File:

PDF, 777 KB

english, 1995

27

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Liability in software engineering

Le Métayer, Daniel, Maarek, Manuel, Tong, Valérie Viet Triem, Mazza, Eduardo, Potet, Marie-Laure, Craipeau, Nicolas, Frénot, Stéphane, Hardouin, Ronan

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

28

A general framework for blaming in component-based systems

Gössler, Gregor, Le Métayer, Daniel

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 461 KB

english, 2015

29

[IEEE 2015 IEEE Security and Privacy Workshops (SPW) - San Jose, CA, USA (2015.5.21-2015.5.22)] 2015 IEEE Security and Privacy Workshops - PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology

Notario, Nicolas, Crespo, Alberto, Martin, Yod-Samuel, Alamo, Jose M. Del, Metayer, Daniel Le, Antignac, Thibaud, Kung, Antonio, Kroener, Inga, Wright, David

Year:

2015

Language:

english

File:

PDF, 275 KB

english, 2015

30

Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†

Burn, Geoffrey, Le Métayer, Daniel

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.54 MB

english, 1996

31

[IEEE 2016 IEEE Security and Privacy Workshops (SPW) - San Jose, CA, USA (2016.5.22-2016.5.26)] 2016 IEEE Security and Privacy Workshops (SPW) - Privacy Harm Analysis: A Case Study on Smart Grids

De, Sourya Joyee, Metayer, Daniel Le

Year:

2016

Language:

english

File:

PDF, 331 KB

english, 2016

32

Interdisciplinarity in practice: Challenges and benefits for privacy research

Métayer, Daniel Le, Bossuet, Mathias, Coudert, Fanny, Gayrel, Claire, Jaime, Francisco, Jouvray, Christophe, Kung, Antonio, Ma, Zhendong, Maña, Antonio

Journal:

Computer Law & Security Review

Year:

2017

Language:

english

File:

PDF, 318 KB

english, 2017

33

[ACM Press the Eighth ACM Conference - Tempe, AZ, USA (2018.03.19-2018.03.21)] Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy - CODASPY '18 - Capacity

Le Métayer, Daniel, Rauzy, Pablo

Year:

2018

Language:

english

File:

PDF, 1.34 MB

english, 2018

34

[IEEE 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - London, United Kingdom (2018.4.23-2018.4.27)] 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Enhancing Transparency and Consent in the IoT

Castelluccia, Claude, Cunche, Mathieu, Le Metayer, Daniel, Morel, Victor

Year:

2018

Language:

english

File:

PDF, 524 KB

english, 2018

35

[IEEE 2018 3rd IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - London (2018.4.23-2018.4.27)] 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) - Privacy Risk Analysis to Enable Informed Privacy Settings

De, Sourya Joyee, Le Metayer, Daniel

Year:

2018

Language:

english

File:

PDF, 550 KB

english, 2018

36

Model checking security properties of control flow graphs

Besson, Frédéric, Jensen, Thomas, Le Métayer, Daniel, Thorn, Tommy

Journal:

Journal of Computer Security

Year:

2001

Language:

english

File:

PDF, 306 KB

english, 2001

37

[IEEE 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) - Rotorua, New Zealand (2019.8.5-2019.8.8)] 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) - A Generic Information and Consent Framework for the IoT

Morel, Victor, Cunche, Mathieu, Le Metayer, Daniel

Year:

2019

File:

PDF, 551 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски